\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{amsmath}
\newtheorem{proposition}{Proposition}
\newcommand{\comprehension}[2]{\ensuremath{\left\{ {#1} \;|\; {#2}\right\}}}
\def\subsectionautorefname{Section}
\def\sectionautorefname{Section}
\def\propositionautorefname{Proposition} 
\usepackage[pdftex%
,colorlinks=true%
,bookmarks=true%
,linkcolor=blue%
,citecolor=blue%
,plainpages=false]{hyperref}
